Domain Abstraction and Limited Reasoning
نویسنده
چکیده
I Abstract We are investigating the possibility of constructing meaningful and computationally efficient approximate reasoning methods for the first order logic. In particular, we study a situation when only certain aspects of the domain are of interest to the user. This is reflected by an equivalence relation defined on the domain of the knowledge base. The whole mechanism is called domain abstraction and is demonstrated to lead to significant computational advantages. The domain abstraction discussed in the paper is only a very special case of the more general notion of abstraction which is discussed shortly here and is a subject of the currently ongoing research.
منابع مشابه
Video Abstraction in H.264/AVC Compressed Domain
Video abstraction allows searching, browsing and evaluating videos only by accessing the useful contents. Most of the studies are using pixel domain, which requires the decoding process and needs more time and process consuming than compressed domain video abstraction. In this paper, we present a new video abstraction method in H.264/AVC compressed domain, AVAIF. The method is based on the norm...
متن کاملResearch Summary: Communication-Sensitive Decision Making in Multi-Agent, Real-Time Environments
In a recently started project, we are developing techniques for intelligent agent control and coordination in a dynamic, real-time, multi-agent setting. The application domain, consisting of teams of autonomous air vehicles (AAVs), is characterized by dynamic environments, real-time response requirements, limited information, and unreliable, low-bandwidth communications. We have developed an in...
متن کاملUsing a Feeling Based Lexicon in Integrating Language and Reasoning
Working on metaphor based spatial and embodied reasoning, we have discovered that by properly designing and integrating several networks, it is possible not only to parse the metaphorical abstraction of discourse, it is also possible to expand this abstraction into a complete set of spatial imagery, mappings and relationships as well as a set of feelings that facilitates analysis of presupposit...
متن کاملAbductive Reasoning with Abstraction Axioms
This paper deals with abductive reasoning on knowledge bases that are expressed at di erent levels of abstraction, but are not necessarily organized as a set of increasingly more abstract models, each one giving a complete (even if abstracted) description of a domain. We claim that the search for abductive explanations in such a context and, in particular, the choice of the \right" level at whi...
متن کاملSolving Predictive Analogy Tasks with Anti-Unification
In general, typical cognitive and AI models of analogical reasoning perform a direct mapping from objects of the base domain to objects of the target domain. In contrast to these approaches our model performs mapping via abstraction. Abstraction is calculated as the most specific generalization of the base and the target structure modeled by the formally sound framework of anti-unification. In ...
متن کامل